16

Monads, Effects and Transformations

Year:
1999
Language:
english
File:
PDF, 1.08 MB
english, 1999
17

Preface: Volume 59, Issue 1

Year:
2001
Language:
english
File:
PDF, 30 KB
english, 2001
20

The transcriptome ofMycobacterium tuberculosis

Year:
2010
Language:
english
File:
PDF, 438 KB
english, 2010
28

Strongly Typed Term Representations in Coq

Year:
2012
Language:
english
File:
PDF, 389 KB
english, 2012
39

Pott's paraplegia today

Year:
1995
Language:
english
File:
PDF, 212 KB
english, 1995
40

Surgical research

Year:
1996
Language:
english
File:
PDF, 640 KB
english, 1996